$\forall$$a$:$\mathbb{Q}$, $n$:$\mathbb{N}$. $\Sigma$0 $\leq$ $i$ $<$ $n$. $a$ $\uparrow$ $i$ = if qeq($a$;1) then $n$ else (1 {-} $a$ $\uparrow$ $n$/1 {-} $a$) fi  $\in$ $\mathbb{Q}$